Knowledge Graph-Infused Fine-Tuning for Structured Reasoning in Large Language Models
arxiv.org·2d
📋Document Grammar
Show HN: Tabwise – AI data analyst that outperforms ChatGPT and Claude
tabwise.ai·15h·
Discuss: Hacker News
⚡Proof Automation
Dreaming of Graphs in the Open Lakehouse
semyonsinchenko.github.io·21h·
Discuss: Hacker News
📊Graph Databases
Data Science Path: Automatic Subclass Registration & Python Encryption Algorithms with LabEx
dev.to·13h·
Discuss: DEV
🔐Cryptographic Archaeology
HigherOrderCO/HVM3
github.com·4h
🔗Functional Compilers
LLMs are NOT Turing Complete (at train time), we need "train time recurrence"
fchaubard.github.io·3h·
Discuss: Hacker News
📼Tape Combinators
Saleae Analyzer for the BDM protocol
zetier.com·2d
🔬Binary Analysis
Cohere unveils Command A Reasoning, a model for enterprise research and workflows
the-decoder.com·16h
🎙️Whisper
Graphzep -TypeScript implementation of temporal knowledge graph memory system
github.com·8h·
Discuss: Hacker News
🕸️Neo4j
From Unstructured Data to RAG-Ready With Docling
thenewstack.io·1d
🤖Archive Automation
Dyna – Logic Programming for Machine Learning
dyna.org·6d·
Discuss: Lobsters, Hacker News, r/compsci
🔗Constraint Handling
Materialized views are obviously useful
sophiebits.com·1d·
Discuss: Lobsters, Hacker News
🧠Query Planners
Zero Context Exhaustion: Building Production-Ready AI Coding Teams with Claude Code Sub-agents
dev.to·5h·
Discuss: DEV
✨Effect Handlers
The Cost of Winning:How RL Training on Poker Leads to Evil LLMs
tobysimonds.com·7h·
Discuss: Hacker News
🔲Cellular Automata
What Claude Code gets right
minusx.ai·1d·
Discuss: Hacker News
⚡Proof Automation
Iterative DFS with stack-based graph traversal
dwf.dev·1d·
Discuss: Hacker News
🌸Bloom Filters
Ask HN: Why is Prolog not gaining traction?
news.ycombinator.com·22h·
Discuss: Hacker News
🧮Prolog Parsing
Show HN: Making Postgres Self-Describing for LLMs with a Semantic Catalog
tigerdata.com·1d·
Discuss: Hacker News
🗄️Database Internals
The Interpretability Analysis of the Model Can Bring Improvements to the Text-to-SQL Task
arxiv.org·3d
🧮Datalog Engines
Busy Beaver Hunters Reach Numbers That Overwhelm Ordinary Math
quantamagazine.org·16h·
Discuss: Hacker News, Hacker News
🎞️Tape Combinatorics